De FMA au MLF

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

limage de labsurdité dans voyage au bout de la nuit de louis-ferdinand céline

مفهوم پوچی که اولین بار در لغت نامه های قرن شانزدهم مطرح شد، بیانگر نوعی نقص در روح انسان و عیبی در خرد آدمی است.پوچی نوعی بیماری است که عقل و فهم آدمی باید خود را از آن محافظت کند اما هیچ مدرکی وجود ندارد که آن را غیر قابل درمان بداند. این مفهوم اغلب برای توصیف نوع خاصی از ادبیات مورد استفاده قرار میگیرد.نویسندگانی نظیر سارتر، کامو، بکت، یونسکو و سلین کوشیده اند تا تصویر دقیقی از این مفهوم را...

15 صفحه اول

Recasting MLF

The language MLF has been proposed as an alternative to System F that permits partial type inference a la ML. It differs from System F by its types and type-instance relation. Unfortunately, the definition of type instance is only syntactic, and not underpinned by some underlying semantics. It has so far only been justified a posteriori by the type soundness result. In this work, we revisit MLF...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Clio

سال: 2009

ISSN: 1252-7017,1777-5299

DOI: 10.4000/clio.9326